What is Abstract Data Types